Issue799a.agda:11,5-6
D Set should be a function type, but it isn't
when checking that {B = _} is a valid argument to a function of
type D Set
